частично-рекурсивный

частично-рекурсивный
част/и́ч/н/о/-рекурс/и́вн/ый.

Морфемно-орфографический словарь. — М.: АСТ.. . 2002.

Игры ⚽ Поможем написать реферат

Смотреть что такое "частично-рекурсивный" в других словарях:

  • частично-рекурсивный — частично рекурсивный …   Орфографический словарь-справочник

  • частично-рекурсивный — …   Орфографический словарь русского языка

  • ЧАСТИЧНО РЕКУРСИВНЫЙ ОПЕРАТОР — отображение класса всех одноместных функций в себя, определяемое следующим образом. Пусть Ф z нек рый перечисления оператор. С этим оператором естественным образом связан другой оператор к рый действует на одноместных функциях. А именно, всякая… …   Математическая энциклопедия

  • РЕКУРСИВНЫЙ ОПЕРАТОР — всюду определенный частично рекурсивный оператор. В. Е. Плиско …   Математическая энциклопедия

  • ОБЩЕРЕКУРСИВНЫЙ ОПЕРАТОР — частично рекурсивный оператор, к рый определен на всех всюду определенных функциях и переводит всюду определенные функции во всюду определенные. В. Е. Плиско …   Математическая энциклопедия

  • СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание …   Философская энциклопедия

  • Аббревиатура — У этого термина существуют и другие значения, см. Аббревиатура (значения). Аббревиатура (итал. abbreviatura от лат. brevis  краткий) или сокращение. В старинных рукописях и книгах сокращённое написание слова или группы слов,… …   Википедия

  • Аббревиатуры — Аббревиатура (итал. abbreviatura от лат. brevis  краткий). В старинных рукописях и книгах сокращённое написание слова или группы слов. В современных изданиях любое сокращённое слово или словосочетание. Содержание 1 Разновидности 1.1 Инициальная …   Википедия

  • XSL — (eXtensible Stylesheet Language) семейство рекомендаций консорциума W3C, описывающее языки преобразования и визуализации XML документов. Состоит из трех частей: XSL Transformations (XSLT) язык преобразований XML документов. XSL Formatting Objects …   Википедия

  • РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»